Iterated Revision in Default Logic
نویسندگان
چکیده
Default logic is supposed to reason with static and consistent default theory, i.e., it can not deal with inconsistencies arising in the situation that an agent receives a sequence of information represented by default theories. To overcome the problem, revision operators for revising default theories have been investigated by many researchers. But none of them has discussed the postulates which are desirable to be satisfied by the operators for revision of default theories, especially the operators for iterated revision. In this paper, we reformulate the existing postulates for belief revision and iterated belief revision to default logic, and show that some of the reformulated postulates are rational to govern the process of revising default theories while others are not. A representation theorem for those reasonable postulates is provided.
منابع مشابه
Three Scenarios for the Revision of Epistemic States
This position paper discusses the difficulty of interpreting iterated belief revision in the scope of the existing literature. Axioms of iterated belief revision are often presented as extensions of the AGM axioms, upon receiving a sequence of inputs. More recent inputs are assumed to have priority over less recent ones. We argue that this view of iterated revision is at odds with the claim, ma...
متن کاملBelief Change in Branching Time: AGM-consistency and Iterated Revision
We study belief change in the branching-time structures introduced in [4]. First, we identify a property of branching-time frames that is equivalent to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary state-instant pair and an arbitrary model based on that frame can be extended to a full belief revision ...
متن کاملA Semantic Approach for Iterated Revision in Possibilistic Logic
In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for revision is too strong to define a practical one-step revision operator and some of them should be weakened. We then present a semantic approach for iterated revision in possibilistic logic using a one-step revision oper...
متن کاملA Conditional Logic for Iterated Belief Revision
In this paper we propose a conditional logic IBC to represent iterated belief revision. We define an iterated belief revision system by strengthening the postulates proposed by Darwiche and Pearl [3]. First, following the line of Darwiche and Pearl, we modify AGM postulates to make belief revision a function of epistemic states rather than of belief sets. Then we propose a set of postulates for...
متن کامل